1061. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
1062. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
1063. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
1064. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
1065. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
1066. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
1067. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1068. Web technologies :
پدیدآورنده : Arthur Tatnall, [editor].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information technology.,Internet.,World Wide Web.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Information technology.,Internet.,World Wide Web.
رده :
TK5105
.
888
.
W377
2010
1069. Westport, Conn. :
پدیدآورنده : John J. Butt.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
1070. What do you think? Percentage of people who believe
پدیدآورنده : Judith A. Boss
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Reasoning,Critical thinking
رده :
160
B745W
1071. What if there were no significance tests? /
پدیدآورنده : edited by Lisa L. Harlow, Stanley A. Mulaik, James H. Steiger
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Statistical hypothesis testing
1072. What is negation?
پدیدآورنده : edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Negation (Logic)
رده :
BC199
.
N4
E358
2011
1073. What rogue nations pose a serious threat? -- Iran poses a serious threat / Ilan Berman -- Iranian threat is overs
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
1074. Writing Boys and Girls in Imperial Japan:
پدیدآورنده : Suzuki, Wakako
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
1076. 501 challenging logic and reasoning problem
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Problems, exercises, et,Reasoning, Problems, exercises, et,Critical thinking, Problems, exercises, et
رده :
BC108
.
A15
2005
1077. 501 challenging logic and reasoning problems
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic Problems, exercises, etc,Reasoning Problems, exercises, etc,Critical thinking Problems, exercises, etc
رده :
BC108
.
A15
2005
1078. 501 challenging logic and reasoning problems.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Critical thinking, Problems, exercises, etc.,Logic, Problems, exercises, etc.,Reasoning, Problems, exercises, etc.,Critical thinking.,Logic.,Reasoning.
رده :
BC108
.
A15
2005
1079. 501 challenging logic and reasoning problems
پدیدآورنده :
کتابخانه: Library of Mofid University (Qom)
موضوع : Problems, exercises, etc ، Logic,Problems, exercises, etc ، Reasoning,Problems, exercises, etc ، Critical thinking
رده :
BC108
.
A15
2005
1080. 501 challenging logic and reasoning problems.
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic ; Problems, exercises, etc. ;
